Verification power of rational-valued automata with deterministic and affine states
arxiv.org·20h
🎯Automata theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·11h
🔤Type Theory
Context Pruning in Conversational Agent
poonai.xyz·13h·
Discuss: Hacker News
⚡Proof Automation
10 Common Misconceptions About Large Language Models
machinelearningmastery.com·9h
💻Local LLMs
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·7h·
Discuss: Hacker News
🦀Rust Macros
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·20h
📈Spectral Graph Theory
Python Mystery Quiz: Can You Crack This Code?
dev.to·3h·
Discuss: DEV
🔗Concatenative Programming
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·6h·
Discuss: Hacker News
📝Text Parsing
Lexy: A parser combinator library for C++17
github.com·9h·
Discuss: Hacker News
📋DFDL
Quantum Algorithm Zoo
quantumalgorithmzoo.org·18m·
Discuss: Hacker News
⚛️Quantum Algorithms
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·10h·
Discuss: Hacker News
🔲Cellular Automata
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·1h·
Discuss: Hacker News
🚀SIMD Text Processing
Undecidability of Tiling with a Tromino
arxiv.org·20h
🎯Performance Proofs
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·1d
🎯Arithmetic Coding Theory
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·2d·
Discuss: Hacker News
🧠Machine Learning
Enhanced Dielectric Relaxation Analysis via Multi-scale Fractal Network Modeling
dev.to·5h·
Discuss: DEV
📊Spectral Graphs
Holding It Together
onelook.com·1d·
Discuss: Hacker News
🖋Typography
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🔗Lisp
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.org·1d
🧠Machine Learning